b:Decision. b = true  b 

latex

Definitions	Decision, true, b, , Unit, x:A. B(x), True, P  Q, P & Q, P  Q, P  Q, Prop, Top, t  T, False
Lemmas	false wf, true wf, it wf, top wf